Process Performance Verification Using Viability Theory

The development of efficient methods for process performance verification has drawn a lot attention in the research community. Viability theory is mathematical tool to identify trajectories dynamical system which remains constraint set. In this paper, viability investigated purpose case nonlinear processes that can be represented Linear Parameter Varying (LPV) form. particular, algorithms based on use invariance and kernels capture basin are proposed. difficulty with application computation these sets. A Lagrangian method been used approximate Because simplicity computations, zonotopes adopted set representation. Two new sets called Safe Work Area (SWA) Required Performance (RP) defined an algorithm proposed concepts purpose. Finally, two examples well-known studies, two-tank PH neutralization plant, provided show effectiveness method.